"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...
Lire la suiteThe AI conference series is the premier event sponsored by the Canadian - ciety for the Computational Studies of Intelligence ...
Lire la suiteThis book constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. ...
Lire la suiteThe book range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications ...
Lire la suiteThe book range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lire la suiteThis book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suiteCognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...
Lire la suiteThough multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
Lire la suiteThe notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suiteCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lire la suiteThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lire la suiteThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lire la suitehe volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suite